\begin{code}
record R (A : Set) : Set

record R A where
\end{code}
